Université Grenoble I – Joseph Fourier

Acknowledgements This work would not have been possible without the help and support of a lot of people. To my regret I will not be able to name them all here. I am very grateful to my advisors Oded Maler and Antoine Girard. They manage to give me a lot of guidance and freedom at the same time; and were always available for fruitful discussions on a wide range of subjects. I am also obliged to my committee members who took the time to scrutinize my thesis during the busy month of September. Many thanks goes to my reviewers, Bruce Krogh and Manfred Morari, my examiners, Eugene Asarin and Patrick Cousot, who have also been great teachers, and the president of this committee, Nicolas Halbwachs. I also want to thank all of those who contributed to this thesis; in particular Thao Dang, Goran Frehse, and all the tempo team at Verimag as well as other members of the hybrid community I was lucky enough to interact with. Je souhaité egalement remercier tous les membres de Verimag. Venir travaillerà toujoursété agréable grâcè a vous. Mention spéciale au bureau 9, Mathias, Moua¨ıad et Tayeb, courage, c'est bientôt votre tour ! Mais aller au labo jour après jour n'a ´ eté possible que parcque je l'ai quitté tous les soirs. Je tiens doncà remercier tous ceux qui se reconnaˆıtront, pour les moments partagés, les sorties, soirées, weekends, vacances... qui m'ont tant apportés. ´ Evidemment, je dois beaucoupà ma famille (et je ne dis pasça que pour l'organisation de cet incroyable pot de thèse !), mais vous savez déjàà quel point je tiensà vous. Finally, I want to thank you dear reader, for intending to read (at least a part of) my thesis.